x < y as boolean;
